From: George Dunlap <george.dunlap@eu.citrix.com>
Date: Mon, 10 Mar 2014 12:46:55 +0000 (+0000)
Subject: tools: Use --no-print-directory instead of grep for debball version
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~5494
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=6b6f6150d2c0efec1cbf9fc6d48e95a4a16a9dc2;p=xen.git

tools: Use --no-print-directory instead of grep for debball version

Save a fork, and also avoid :) being interpreted as a smiley.

Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
---

diff --git a/Makefile b/Makefile
index 4e48457d31..4c5d1b68d9 100644
--- a/Makefile
+++ b/Makefile
@@ -150,7 +150,7 @@ world:
 # to be a full featured policy compliant .deb package.
 .PHONY: debball
 debball: dist
-	fakeroot sh ./tools/misc/mkdeb $(XEN_ROOT) $$($(MAKE) -C xen xenversion | grep -v :)
+	fakeroot sh ./tools/misc/mkdeb $(XEN_ROOT) $$($(MAKE) -C xen xenversion --no-print-directory)
 
 # clean doesn't do a kclean
 .PHONY: clean